Splitting fields and general differential Galois theory

An algebraic technique is presented that does not use results of model theory and makes it possible to construct a general Galois theory of arbitrary nonlinear systems of partial differential equations. The algebraic technique is based on the search for prime differential ideals of special form in tensor products of differential rings. The main results demonstrating the work of the technique obtained are the theorem on the constructedness of the differential closure and the general theorem on the Galois correspondence for normal extensions..Comment: 33 pages, this version coincides with the published on

The theory of the exponential differential equations of semiabelian varieties

The complete first order theories of the exponential differential equations of semiabelian varieties are given. It is shown that these theories also arises from an amalgamation-with-predimension construction in the style of Hrushovski. The theory includes necessary and sufficient conditions for a system of equations to have a solution. The necessary condition generalizes Ax's differential fields version of Schanuel's conjecture to semiabelian varieties. There is a purely algebraic corollary, the "Weak CIT" for semiabelian varieties, which concerns the intersections of algebraic subgroups with algebraic varieties.Comment: 53 pages; v3: Substantial changes, including a completely new introductio

Rationality of quotients by linear actions of affine groups

Let G be the (special) affine group, semidirect product of SL_n and C^n. In this paper we study the representation theory of G and in particular the question of rationality for V/G where V is a generically free G-representation. We show that the answer to this question is positive if the dimension of V is sufficiently large and V is indecomposable. We have a more precise theorem if V is a two-step extension 0 -> S -> V -> Q -> 0 with S, Q completely reducible.Comment: 18 pages; dedicated to Fabrizio Catanese on the occasion of his 60th birthda

Rational invariants of even ternary forms under the orthogonal group

In this article we determine a generating set of rational invariants of minimal cardinality for the action of the orthogonal group $\mathrm{O}_3$ on the space $\mathbb{R}[x,y,z]_{2d}$ of ternary forms of even degree $2d$. The construction relies on two key ingredients: On one hand, the Slice Lemma allows us to reduce the problem to dermining the invariants for the action on a subspace of the finite subgroup $\mathrm{B}_3$ of signed permutations. On the other hand, our construction relies in a fundamental way on specific bases of harmonic polynomials. These bases provide maps with prescribed $\mathrm{B}_3$-equivariance properties. Our explicit construction of these bases should be relevant well beyond the scope of this paper. The expression of the $\mathrm{B}_3$-invariants can then be given in a compact form as the composition of two equivariant maps. Instead of providing (cumbersome) explicit expressions for the $\mathrm{O}_3$-invariants, we provide efficient algorithms for their evaluation and rewriting. We also use the constructed $\mathrm{B}_3$-invariants to determine the $\mathrm{O}_3$-orbit locus and provide an algorithm for the inverse problem of finding an element in $\mathbb{R}[x,y,z]_{2d}$ with prescribed values for its invariants. These are the computational issues relevant in brain imaging.Comment: v3 Changes: Reworked presentation of Neuroimaging application, refinement of Definition 3.1. To appear in "Foundations of Computational Mathematics

BRIDGE study warrants critique

David M. Allen, Peter I. Parry, Robert Purssey, Glen I. Spielmans, Jon Jureidini, Nicholas Z. Rosenlicht, David Healy, Irwin Feinber

Spatial Degrees of Freedom in Everett Quantum Mechanics

Stapp claims that, when spatial degrees of freedom are taken into account, Everett quantum mechanics is ambiguous due to a "core basis problem." To examine an aspect of this claim I generalize the ideal measurement model to include translational degrees of freedom for both the measured system and the measuring apparatus. Analysis of this generalized model using the Everett interpretation in the Heisenberg picture shows that it makes unambiguous predictions for the possible results of measurements and their respective probabilities. The presence of translational degrees of freedom for the measuring apparatus affects the probabilities of measurement outcomes in the same way that a mixed state for the measured system would. Examination of a measurement scenario involving several observers illustrates the consistency of the model with perceived spatial localization of the measuring apparatus.Comment: 34 pp., no figs. Introduction, discussion revised. Material tangential to main point remove

The Canonical Model of a Singular Curve

We give refined statements and modern proofs of Rosenlicht's results about the canonical model C' of an arbitrary complete integral curve C. Notably, we prove that C and C' are birationally equivalent if and only if C is nonhyperelliptic, and that, if C is nonhyperelliptic, then C' is equal to the blowup of C with respect to the canonical sheaf \omega. We also prove some new results: we determine just when C' is rational normal, arithmetically normal, projectively normal, and linearly normal.Comment: 28 pages, no figures, IV Congresso Iberoamericano de Geometria Complex

Sous-groupes alg\'ebriques du groupe de Cremona

We give a complete classification of maximal algebraic subgroups of the Cremona group of the plane and provide algebraic varieties that parametrize the conjugacy classes. ----- Nous donnons une classification compl\`ete des sous-groupes alg\'ebriques maximaux du groupe de Cremona du plan et explicitons les vari\'et\'es qui param\`etrent les classes de conjugaison.Comment: Text in French, Translated introduction, 35 pages, 1 figure, to appear in Transform. Group

Aripiprazole in the Maintenance Treatment of Bipolar Disorder: A Critical Review of the Evidence and Its Dissemination into the Scientific Literature

A systematic search of the literature reveals limited evidence to support use of aripiprazole, a second-generation antipsychotic medication, in maintenance therapy of bipolar disorder, despite widespread use